A Logic for Schema-Based Program Development
نویسندگان
چکیده
منابع مشابه
A Logic Program Schema and Its Applications
In t h i s paper we cons ide r a . spec i f i c type of l o g i c programs ca l led recursive-schema programs and show t h a t the c l ass of r ecu rs i ve -schema programs has s u f f i c i e n t e x p r e s s i v e c a p a b i l i t y , which provides an a l t e r n a t i v e simple proof fo r the resultby Tarnlund concerning the computat ional power of Horn c lause programs. F u r t h e r , ...
متن کاملa new type-ii fuzzy logic based controller for non-linear dynamical systems with application to 3-psp parallel robot
abstract type-ii fuzzy logic has shown its superiority over traditional fuzzy logic when dealing with uncertainty. type-ii fuzzy logic controllers are however newer and more promising approaches that have been recently applied to various fields due to their significant contribution especially when the noise (as an important instance of uncertainty) emerges. during the design of type- i fuz...
15 صفحه اولProlog Program Development via Enhanced Schema-based Transformations
We describe state-of-the-practice results in integrating a program transformation approach to a program development environment. We propose a formalisation for a speciic kind of programming knowledge, the programming techniques. Our proposal employs program schemata, generic descriptions of programs addressing portions of predicate deenitions in an economical manner, allowing important features...
متن کاملEnhanced Schema-Based Transformations for Logic Programs and their Opportunistic Usage in Program Analysis and Optimisation*
A program schema is a generic description of a program in a suitable language where its important features can be highlighted and irrelevant details disregarded. In this research note we introduce some enhancements made to the proposal of using program schemata to guide program transformations. These transformations are syntactic alterations carried out in logic programs preserving the meaning ...
متن کاملAn Opportunistic Approach for Logic Program Analysis and Optimisation Using Enhanced Schema-Based Transformations
We propose an opportunistic approach for performing program analysis and optimisation: opportunities for improving a logic program are systematically attempted, either by examining its procedures in an isolated fashion, or by checking for conjunctions within clauses that can be used as joint speciications. Opportunities are represented as enhanced schema-based transformations, generic descripti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 2003
ISSN: 0934-5043,1433-299X
DOI: 10.1007/s00165-003-0004-7